x86/mem_event: prevent underflow of vcpu pause counts
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 23 Jul 2014 16:08:04 +0000 (18:08 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 23 Jul 2014 16:08:04 +0000 (18:08 +0200)
commit868d9b99b39c53dc1f6ae9bfd7b148c206fd7240
treeaeadfe4889ed6597c4ff811be3d1a50fd0920fa8
parentee75480b3c8856db9ef1aa45418f35ec0d78989d
x86/mem_event: prevent underflow of vcpu pause counts

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Tested-by: Razvan Cojocaru <rcojocaru@bitdefender.com>
Reviewed-by: Andres Lagar-Cavilla <andres@lagarcavilla.org>
Tested-by: Aravindh Puthiyaparambil <aravindp@cisco.com>
xen/arch/x86/hvm/hvm.c
xen/arch/x86/mm/mem_event.c
xen/arch/x86/mm/mem_sharing.c
xen/arch/x86/mm/p2m.c
xen/include/asm-x86/mem_event.h
xen/include/xen/sched.h